Reasoning about Software-Component Behavior

نویسندگان

  • Murali Sitaraman
  • Steven Atkinson
  • Gregory Kulczycki
  • Bruce W. Weide
  • Timothy J. Long
  • Paolo Bucci
  • Wayne D. Heym
  • Scott M. Pike
  • Joseph E. Hollingsworth
چکیده

The correctness of a component-based software system depends on the component client's ability to reason about the behavior of the components that comprise the system, both in isolation and as composed. The soundness of such reasoning is dubious given the current state of the practice. Soundness is especially troublesome for component technologies where source code for some components is inherently unavailable to the client. Fortunately, there is a simple, understandable, teachable, practical, and provably sound and relatively complete reasoning system for component-based software systems that addresses the reasoning problem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Compositional Performance Reasoning

A well-understood reason for component-based software engineering (CBSE) is improved productivity. CBSE is also important for another basic reason. It enables compositional or modular reasoning, and therefore, it facilitates production of high quality systems. In compositional reasoning, it is possible to reason about the behavior of the system using the behavioral specifications of reused comp...

متن کامل

Sufficient Correctness and Homeostasis in Open Resource Coalitions: How Much Can You Trust Your Software System?

Widespread use of the Internet enables a new class of software architectures: dynamically formed, task-specific, coalitions of distributed autonomous resources. The resources may be information, calculation, communication, control, or services. Unlike traditional software systems, which are at least nominally under control of the developer, these coalitions are formed from independently managed...

متن کامل

Modeling Software Components Using Behavior Protocols Doctoral Thesis

This thesis proposes a novel approach for a description of a software component’s behavior. The behavior is specified by using behavior protocols –a notation similar to regular expressions, which is easy to read and comprehend. Based on an abstract model of communication between software components, the thesis introduces a notion of component behavior and defines a compliance relation of a comp...

متن کامل

Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures

Architecture-based reasoning about reliability and fault tolerance is gaining increasing importance as component-based software architectures become more widespread. Architectural description languages (ADLs) are used to specify high-level views of software design. ADLs usually involve a static, structural view of a system together with a dynamic, state-transition-style semantics, facilitating ...

متن کامل

Specification and Verification with References

Modern object-oriented programming languages demand that component designers, specifiers, and clients deal with references. This is true despite the fact that some programming language and formal methods researchers have been announcing for decades, in effect, that pointers/references are harmful to the reasoning process. Their wise counsel to bury pointers/references as deeply as possible, or ...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000